Skip to content

Conversation

jonas-schievink
Copy link
Contributor

Fixes #12068

@jonas-schievink
Copy link
Contributor Author

@bors r+

@bors
Copy link
Contributor

bors commented Apr 25, 2022

📌 Commit 3a83684 has been approved by jonas-schievink

@bors
Copy link
Contributor

bors commented Apr 25, 2022

⌛ Testing commit 3a83684 with merge b24b82f...

@bors
Copy link
Contributor

bors commented Apr 25, 2022

☀️ Test successful - checks-actions
Approved by: jonas-schievink
Pushing b24b82f to master...

@bors bors merged commit b24b82f into rust-lang:master Apr 25, 2022
@jonas-schievink jonas-schievink deleted the deprioritize-flyimport branch April 25, 2022 12:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

VSCode (?) : Prefer suggestions that are in already in scope
2 participants